Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
501	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science
502	DEEPWATER HORIZON OIL SPILL POINT ADDED TO NHC WIND PROBABILITY PRODUCT NHC has implemented an additional fixed point to the Tropical Cyclone Wind Speed Probability text product, corresponding to the location of the Deepwater Horizon oil spill in the Gulf of Mexico. Add to Reading List Source URL: www.nhc.noaa.gov Language: English - Date: 2010-06-25 16:12:53 Vortices National Hurricane Center Meteorology Atmospheric sciences Tropical cyclone
503	R. M. McCLUR£, Editor Regular Expression Search Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2011-08-19 12:27:48 Procedural programming languages Lambda calculus C Cross-platform software ALGOL 68 Stack Fixed-point combinator P-code machine X86 assembly language Software engineering Computing Programming language theory
504	The Increasing Presence of China in Laos Today: A Report on Fixed Point Observation of Local Newspapers from March Add to Reading List Source URL: www.ritsumei.ac.jp Language: English - Date: 2009-12-15 19:10:57 Association of Southeast Asian Nations Political philosophy Laos Vientiane Times Asia Provinces of Laos Socialism Vientiane
505	J. ﬁxed point theory appl[removed]), 221–223 c 2007 Birkh¨ auser Verlag Basel/Switzerland Add to Reading List Source URL: vmm.math.uci.edu Language: English - Date: 2011-03-07 16:52:40 Metric geometry Space Banach fixed-point theorem Contraction mapping Metric space Spectral theory of ordinary differential equations Mathematics Geometry Topology
506	Topics on the Border of Economics and Computation October 25, 2009 Add to Reading List Source URL: pluto.huji.ac.il Language: English - Date: 2012-05-31 02:50:32 Nash equilibrium Price of anarchy Science Potential game Congestion game Strategy Static single assignment form Kakutani fixed-point theorem Best response Game theory Problem solving Economics
507	Lectures On Some Fixed Point Theorems Of Functional Analysis Add to Reading List Source URL: www.math.tifr.res.in Language: English - Date: 2011-05-06 03:11:54 Geometry Topology Metric geometry Banach fixed-point theorem Lipschitz continuity Contraction mapping Metric space Hilbert space Contraction Mathematics Mathematical analysis Operator theory
508	Floating Point Numbers & Rounding Floating Point Arithmetic Rounding Error Analysis Condition Stability Fields of Application 2. Motivation and Introduction: Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2007-11-30 04:36:19 Data types Primitive types Applied mathematics Floating point Rounding Fixed-point arithmetic Algorithm Number Round-off error Computer arithmetic Mathematics Numerical analysis
509	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic

UPDATE